<!DOCTYPE html>
<html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-0 vector-toc-not-available vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-0 skin-theme-clientpref-day vector-sticky-header-enabled" lang="de" dir="ltr"><head>
<meta charset="UTF-8">
<title>Vienna Development Method</title>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="icon" type="image/png" href="./_res_/favicon.png">
<link rel="canonical" href="https://de.wikipedia.org/wiki/Vienna_Development_Method"> <link href="./_mw_/ext.wikimediamessages.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.icons.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.search.codex.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.styles.css" rel="stylesheet" type="text/css">
<meta name="ResourceLoaderDynamicStyles" content="">
<link href="./_mw_/ext.gadget.citeRef.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.defaultPlainlinks.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonHide.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonLayout.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonStyle.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiDarkmode.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiResponsive.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.specialSearch.css" rel="stylesheet" type="text/css">
<link rel="stylesheet" type="text/css" href="./_mw_/site.styles.css">
<link rel="stylesheet" type="text/css" href="./_mw_/noscript.css">
<link rel="stylesheet" type="text/css" href="./_res_/footer.css">
<link rel="stylesheet" type="text/css" href="./_res_/vector-2022.css">
</head>
<body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject page-Vienna_Development_Method rootpage-Vienna_Development_Method skin-vector-2022 action-view">
<div class="mw-page-container">
<div class="mw-page-container-inner">
<div class="mw-content-container">
<main id="content" class="mw-body">
<header class="mw-body-header vector-page-titlebar">
<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Vienna Development Method</span></h1>
</header>
<a id="top"></a>
<div id="bodyContent" class="vector-body ve-init-mw-desktopArticleTarget-targetContainer" aria-labelledby="firstHeading" data-mw-ve-target-container="">
<div id="contentSub">
<div id="mw-content-subtitle"></div>
</div>
<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr"><p><b>Vienna Development Method</b> (<b>VDM</b>) ist eine Methode zur Entwicklung von Computer-Programmen, die auf <a href="Formale_Spezifikation" title="Formale Spezifikation">formalen Spezifikationen</a> mit Hilfe der VDM-eigenen <a href="Abstraktion_(Informatik)#Spezifikationssprachen" title="Abstraktion (Informatik)">Spezifikationssprache</a> <a href="Vienna_Definition_Language" title="Vienna Definition Language">Vienna Definition Language</a> basiert. Es gibt eine <a href="Objektorientierung" title="Objektorientierung">objektorientierte</a> Erweiterung, VDM++.
</p>
<div class="mw-heading mw-heading2"><h2 id="Literatur">Literatur</h2></div>
<ul><li>John Fitzgerald u. a.: <i>Validated Designs for Object-oriented Systems</i>. Springer Verlag, London u. a. 2005, ISBN 1-85233-881-4, auch <a rel="nofollow" class="external text" href="http://www.vdmbook.com">teilweise online</a>.</li>
<li>John Fitzgerald u. a.: <i>Modelling Systems. Practical Tools and Techniques in Software Development</i>. Cambridge University Press, Cambridge u. a. 1998, ISBN 0-521-62605-6.</li>
<li>Cliff B. Jones: <i>Systematic Software Development using VDM</i>. 2nd Edition. Prentice Hall, New York NY u. a. 1990, ISBN 0-13-880733-7 (<i>Prentice Hall international Series in Computer Science</i>), auch <a rel="nofollow" class="external text" href="http://www.csr.ncl.ac.uk/vdm/ssdvdm.pdf.zip">online abrufbar</a> (<a href="ZIP-Dateiformat" title="ZIP-Dateiformat">ZIP</a>; 1,1 MB).</li></ul>
<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>
<ul><li><a rel="nofollow" class="external text" href="https://web.archive.org/web/20080828013815/http://www.vdmportal.org/">Information on VDM and VDM++ (archived copy at archive.org)</a></li></ul></div><!--htdig_noindex--><div><div class="zim-footer">
Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2024-05-14" href="https://de.wikipedia.org/wiki/?title=Vienna_Development_Method&oldid=244945064">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.
</div>
</div><!--/htdig_noindex--></div>
</div>
</main>
</div>
</div>
</div>
<script src="./_webp_/webpHandler.js"></script>
</body></html>